// #Diagnostics 
module M
type C() = 
